Inhalt des Dokuments

Master

Controller Synthesis for discrete event Systems in the Setting of a a regular plant and a deterministic context-free specification in libFaudes

Donnerstag, 09. Mai 2013

Erstgutachter/in: Prof. Dr.-Ing. Jörg Raisch
Zweitgutachter/in: Prof. Dr.-Ing. Nestmann

Jacobi, Stefan

---